1. Foundations of security, protocols, and equational reasoning :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer network protocols, Congresses.,Cryptography, Congresses.,Data protection, Congresses.,Logic design, Congresses.,Computer network protocols.,Cryptography.,Data protection.,Logic design.

رده :
QA76
.
9
.
A25

2. Protocol specification, testing, and verification, XII

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer network protocols-- Design.,Computer network protocols, Congresses.